$header-bar-color: #eceff1;
$control-btn-close: #e74c3c;
$control-btn-min: #f39c12;
$control-btn-max: #27ae60;

$border-color: #bdc3c7;

$shallow-translucent-black: rgba(0, 0, 0, 0.3);

$green: #2ecc71;
$deep-green: #27ae60;
$yellow: #f1c40f;
$deep-yellow: #f39c12;
$blue: #3498db;
$deep-blue: #2980b9;
$red: #e74c3c;
$deep-red: #c0392b;
$shallow-gray: #e6e6e6;
